Polar Coding and Linear Decoding
arxiv.org·1h
ℹ️Information Theory
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·9h·
Discuss: Hacker News
⚙️RISC-V Microcode
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·1h
🧮SMT Solvers
Quark’s Outlines: Python Plain Integers
dev.to·19h·
Discuss: DEV
📐Interval Arithmetic
The Kepler Problem (Part 7)
johncarlosbaez.wordpress.com·3h
⚛️Quantum Codes
Compressed Sensing
en.wikipedia.org·3h·
Discuss: Hacker News
📐Compression Mathematics
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·21h
🔗Combinatory Logic
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·3d·
Discuss: Hacker News
🔐Homomorphic Encryption
I designed my own ridiculously fast game streaming video codec
themaister.net·10h·
Discuss: Lobsters, Hacker News
🎥Streaming Codecs
Extensions and Shadows (8)
sites.psu.edu·10h
🧮Kolmogorov Bounds
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·1h
🧮Kolmogorov Complexity
Equivalence between commonly used elliptic curves
johndcook.com·13h
🔢Reed-Solomon Math
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·1h
🔐Quantum Cryptography
CodeSOD: An Exert Operation
thedailywtf.com·23h
🔗Dependently Typed
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·6h·
Discuss: Hacker News
⚔️Lean Theorem
Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
arxiv.org·1d
🔒Language-based security
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·1h
🎯Performance Proofs
Overarch – model your software system as data
github.com·17h·
Discuss: Hacker News
📋Format Specification
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·1h
🤖Grammar Induction
About the Cryptopocalypse
ritter.vg·3d
🌳Archive Merkle Trees